simplified prototype on logical compiler