Added nested call support in parsing and verification, more needed elsewhere