Added NAND option. On-going: _get_preconditions().