enhance type inference to handle zero or many return statements 
enhance type inference to handle zero or many return statements 
gijsleussink/ceylon,gijsleussink/ceylon,gijsleussink/ceylon,gijsleussink/ceylon,gijsleussink/ceylon