Including evaluation of variable content in case and creating composite refactorings of case+funApp+arit and case+funApp+arit+boolean simplifications