Added refinement rules for fp