fixing verifications and call definitions, but still sequential only