causality

fun Arg2pSolverFactory.causality(theory: String = ""): MutableSolver