Adding function definition predicate to call instruction.