Towards the use of simplification rules in intuitionistic tableaux