public void EmitBCall(IAbstractMachinePredicate pred) { _instructions.Add(_instructionSet.CreateInstruction("bcall", pred.Name() + "/" + pred.Arity())); }