Updated with new items
Added is_mutex() overload for two single fluents