semcheck substituted return type of generic calls

semcheck substituted return type of generic calls #1148