Martin Clochard authored Jul 20, 2015 and Guillaume Melquiond committed Oct 13, 2015

ECase(ghost e1,[branch]) and constructor application with ghost parameters
were handled incorrectly.