Enhancing flexibility in user interaction modeling by adding design uncertainty to IFML