completed identifier_of_expr and better error message in case it fails