check if some grounded precondition state can be satisfied by states generated by previous steps and connect them