Added arity check phase.