Flattening versus direct semantics for Featherweight Jigsaw