Added after clause to check order of statements, added
functionAssignment mapping type