[UPDATE] additional fcn type check tests.