org.eclipse.viatra.query.runtime.matchers.psystem.analysis