handle case of no atomic propositions
handle case of no atomic propositions

necozay/tulip-control,tulip-control/tulip-control,necozay/tulip-control,tulip-control/tulip-control,necozay/tulip-control,tulip-control/tulip-control,necozay/tulip-control,necozay/tulip-control,tulip-control/tulip-control