ast_binary->right_first and an execution order check