Output error witness based on formal parameter value