Forward Conformant Planning via Symbolic Model Checking