add fc-prefixes to type inferencing rules