Fix to prev.  Infer.hs passes tests with layeredsatmap AND satmap.