conditional module [PreconditionFrame]