BUG: use implication instead of conjunction to evaluate initial condition
BUG: use implication instead of conjunction to evaluate initial condition

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