fix get-globals function; since phase2 is still not stable, current get-globals relies heavily on the assumption that CModule has the following pattern: (CModule prelude (CSeq (locals-things) (CLet ...)