Deductions & credits

The step by step interview isn't the problem - that all works out fine even with the FMV < strike price. It's SmartCheck that raises an error  when FMV < strike price. Even though that may be unusual, it should be acceptable!