maybe clean up the function "prefixCompatibleExprs"?