forGoal
fun forGoal(context: ExecutionContext, procedure: Signature, expectedDomain: DomainError.Expected, actualValue: Term): DomainError
Creates a DomainError reporting that subgoal actualValue of procedure does not belong to expectedDomain.