Implemented the enhanced (weak) simulation relation; re-structured the codes to avoid unnecessary call of widen() method.